1. Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13-17, 1998 : proceedings
Author: Kim G. Larsen, Sven Skyum, Glynn Winskel )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
1443
2. La semantica formale dei linguaggi di programmazione :
Author: Glynn Winskel ; edizione italiana a cura di Franco Turini ; premessa di Ugo Montanari e Franco Turini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elaboratori elettronici-- Linguaggi
3. La semantica formale dei linguaggi di programmazione :
Author: Glynn Winskel ; edizione italiana a cura di Franco Turini ; premessa di Ugo Montanari e Franco Turini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elaboratori elettronici-- Linguaggi
4. Seminar on Concurrency :
Author: edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Programming Techniques
Classification :
QA76
.
6
E358
1985
5. The formal semantics of programming languages
Author: / Glynn Winskel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics
Classification :
QA
76
.
7
.
W555
1993
